package at.tasat.solver;

import at.tasat.solver.queue.DefaultQueueFactory;

public final class SolverConfiguration {
	private QueueFactory queueFactory;
	private int maxThreads;
	
	{
		queueFactory = new DefaultQueueFactory();
		maxThreads = 1;
	}

	public QueueFactory getQueueFactory() {
		return queueFactory;
	}
	
	public int getMaxThreads(){
		return maxThreads;
	}

	public void setQueueFactory(QueueFactory queueFactory) {
		assert queueFactory != null;
		this.queueFactory = queueFactory;
	}
	
	public void setMaxThreads(int maxThreads){
		assert maxThreads > 0;
		this.maxThreads = maxThreads;
	}

}
